In-system programming - PDFSEARCH.IO - Document Search Engine

In-system programming
Results: 1455

#	Item
631	Website Changes at COEN: New Template Go-Live Thursday[removed]at 10:00am What Is Happening? WordPress, the web content management solution at Boise State University, was implemented at COEN in September[removed]Marketing r Add to Reading List Source URL: coen.boisestate.edu Language: English - Date: 2012-11-30 18:52:08 Blog software PHP programming language WordPress Web content management system Sliders Software Content management systems World Wide Web
632	LearnSprout Announces New Apps for Educators at the SIIA EdTech Business Forum in New York Fast-growing education startup leveraging new technology to build new apps for educators delivering critical insights on performa Add to Reading List Source URL: www.prweb.com Language: English - Date: 2012-11-27 03:18:30 Educational technology Cloud computing Twilio Student information system Text messaging Sis Application programming interface Facebook PowerSchool Software Computing World Wide Web
633	c ACM, 2012. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ⃝ Not for redistribution. The definitive version was published in The International Conference on F Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Build automation Functional programming Make Apache Ant Type system Monad Parallel computing Software Computing Compiling tools
634	Interpreting a Genotype-Phenotype Map with Rich Representations in XMLGE Saoirse Amarteifio Department of Computer Science and Information Systems Add to Reading List Source URL: ncra.ucd.ie Language: English Mathematics Grammatical evolution Artificial immune system Dynamical system Genetic programming Algorithm Evolutionary algorithms Applied mathematics Artificial intelligence
635	Reducing Lock Contention in a Multi-core system by: Randall Stewart Why do we lock? z Add to Reading List Source URL: 2008.asiabsdcon.org Language: English - Date: 2014-01-03 03:46:37 C++ Software engineering Concurrency control Data types Struct C POSIX library Lock C++ classes Circular buffer Computing Computer programming C programming language
636	Implementing Dependent Types in Haskell Andres L¨ oh1 joint work with Conor McBride2 and Wouter Swierstra2 1 Universiteit 2 University Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Computer science Programming language theory Theory of computation Logic in computer science Models of computation System F Typed lambda calculus Simply typed lambda calculus Type system Theoretical computer science Lambda calculus Type theory
637	POLEWARD FLOW IN THE CALIFORNIA CURRENT SYSTEM Adriana Huyer Michael Kosro C o l l e g e of Oceanography Oregon S t a t e U n i v e r s i t y C o r v a l l i s , OR 97331 Add to Reading List Source URL: bragg.coas.oregonstate.edu Language: English - Date: 2006-10-04 14:35:10 Classical cipher Tanzanian conservation organisations Computer programming Linguistics Computing
638	Enabling SNMPv3 Security Features in NET+OS V7.X Enabling SNMPv3 Security Features in NET+OS V7.x 1 Document History Add to Reading List Source URL: ftp1.digi.com Language: English - Date: 2008-08-20 19:52:07 Internet standards Multi-agent systems System administration Information technology management Simple Network Management Protocol Network architecture Application programming interface Computing Network management Internet protocols
639	Rules for Type-checking of Parametric Polymorphism in EMF Generics Miguel Garcia Institute for Software Systems (STS) Hamburg University of Technology (TUHH), 21073 Hamburg, Germany [removed] Add to Reading List Source URL: www.sts.tu-harburg.de Language: English - Date: 2007-02-21 05:06:00 Polymorphism Data types Type theory Generic programming Generics in Java Subtype polymorphism Standard ML Type system Classical cipher Software engineering Computing Computer programming
640	An Introduction to (Deterministic) Parallelism in Haskell Munich Lambda Meetup Andres Löh 17 February 2014 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2014-02-18 05:47:11 Haskell Literate programming Parallel computing Type system Thread Parallelism Subroutine Haskell 98 features Lambda calculus Computing Computer programming Software engineering

UPDATE